Modular structures of layered uranyl minerals and synthetic compounds

Modular invariants for layered object structures

Classical specification and verification techniques support invariants for individual objects whose fields are primitive values, but do not allow sound modular reasoning about invariants involving more complex object structures. Such non-trivial object structures are common, and occur in lists, hash tables, and whenever systems are built in layers. A sound and modular verification technique for...

Selectivity in ligand binding to uranyl compounds: A synthetic, structural, thermodynamic and computational study

Uranyl Phosphate Minerals as Long Term Sink in Uranium Bioremediation

iii ACKNOWLEDGEMENTS I would like to thank Dr. Martial Taillefert, who has spent the most time and energy laying the foundation for my scientific career. I would also like to thank Dr. Carrie Shepler for helping me throughout my time at Georgia Tech. A special expression of gratitude goes out to Kate Salome for assisting me in the beginning of my research, and for continuing to offer support th...

extraction and characterization of allium irancum plant extract and its application in the green synthesis of silver nano particles and oxidation of thiocarbony1 compounds

سنتز سبز نانوذرات فلزی (nps) درسالهای اخیر توجه بسیارزیادی را به خود جلب کرده است. زیرا این پروتوکل کم هزینه وسازگار با محیط زیست از روش های استاندارد سنتز. در این پایان نامه ما گزارش میکنیم یک روش ساده و سازگار با محیط زیست برای سنتز نانوذرات نقره با استفاده از محلول آبی عصاره گیاه allium iranicum به عنوان یک عامل کاهش دهنده ی طبیعی. نانو ذرات نقره مشخص شد با استفاده از تکنیک های uv-visible، x...

Sulfate minerals and organic compounds on Mars

Strong evidence for evaporitic sulfate minerals such as gypsum and jarosite has recently been found on Mars. Although organic molecules are often codeposited with terrestrial evaporitic minerals, there have been no systematic investigations of organic components in sulfate minerals. We report here the detection of organic material, including amino acids and their amine degradation products, in ...